resolver: lts-12.0

# Local packages, usually specified by relative directory name
packages:
- '.'
- 'src/fix-agda-whitespace'
- 'src/size-solver'

extra-deps:
- temporary-1.2.1.1
